Словарь по логике - модус толлендо поненс

термин средневековой логики, обозначающий разделительно-категорическое умозаключение:  первое или второе; не первое; значит, второе. Первая посылка умозаключения разделительное (дизъюнктивное) высказывание; вторая категорическое высказывание, отрицающее один из двух членов дизъюнкции; заключением является другой ее член: "А или В; неверно A./В". Или: "A или В; неверно В/А".

Здесь A и В некоторые высказывания, черта стоит вместо слова "следовательно". Другая форма записи:

А или В. Не-А. Следовательно, В.

А или В. Не-В. Следовательно, A.

Напр.:

Множество является конечным или оно бесконечно.

Множество не является конечным.__________

Множество бесконечно.

Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.